\begin{tabbing}
es{-}sends(${\it es}$; $l$; $e$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$sends(\=es{-}eq(${\it es}$);\+
\\[0ex]idlnk{-}deq;
\\[0ex]es{-}pred?(${\it es}$);
\\[0ex]es\_info(${\it es}$);
\\[0ex]es\_val(${\it es}$);
\\[0ex](es{-}oaxioms(${\it es}$).1);
\\[0ex]$e$;
\\[0ex]$l$)
\-
\end{tabbing}